div { color: @red; @red: tomato; }
